Presumption and prejudice in logical inference
نویسندگان
چکیده
منابع مشابه
Presumption and prejudice in logical inference
Two nonstandard modes o f mference, conftrmatton and dental, have been shown by Bandler and Kohout to be vahd m fuzzy propositional and predicate logics. I f demal ts used m combmatton with modus ponens, the resultmg mference mode ("augmented modus ponens") ytelds more prectse bounds on the consequent of an implication than are usually called for m approximate reasoning. Slmdar results hold for...
متن کاملVariational Inference for Logical Inference
Functional Distributional Semantics is a framework that aims to learn, from text, semantic representations which can be interpreted in terms of truth. Here we make two contributions to this framework. The first is to show how a type of logical inference can be performed by evaluating conditional probabilities. The second is to make these calculations tractable by means of a variational approxim...
متن کاملLogical Inference and Polyhedral Projection
We explore connections between polyhedral projection and inference in propositional logic We formulate the problem of drawing all inferences that contain a restricted set of atoms i e all inferences that pertain to a given question as a logical projection problem We show that polyhedral projection partially solves this problem and in particular derives precisely those inferences that can be obt...
متن کاملThe Logical Conception of Truth: the Logical Prejudice and Lotze’s Concept of Validity
Heidegger’s philosophy is not at odds with logic, at least what is traditionally understood as formal logic. Though he has serious reservations regarding the discipline’s place in a university curriculum and ultimately questions the range of its principles’ validity, his inquiry into the meanings of ‘being’ does not violate logical principles that sustain any genuine communication. Nor would he...
متن کاملAlgebraic Approach to Logical Inference
The paper examines the usage potential of n-tuple algebra (NTA) developed by the authors as a theoretical generalization of structures and methods applied in intelligence systems. NTA supports formalization of a wide set of logical problems (abductive and modified conclusions, modelling of graphs, semantic networks, expert rules, etc.). This article mostly describes implementation of logical in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 1989
ISSN: 0888-613X
DOI: 10.1016/0888-613x(89)90008-x